منابع مشابه
channel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub
In recent years, formalised large theories in form of ontologies, system specifications or mathematical libraries with thousands of sentences have become more and more common. Automatically proving properties in such theories is an important task in research as well as in industry, for instance, as part of system specifications. However, automated theorem provers struggle finding proofs when th...
متن کاملAn Independent Axiom System for the Real Numbers
The reals, of course, already have an axiom system. They are a complete, linearly ordered field. This axiom system is even categorical, meaning that it completely characterizes the reals. Up to isomorphism, the reals are the only complete, linearly ordered field. Another property of axiom systems, considered to be particularly elegant ever since the birth of formal logic, is independence. In an...
متن کاملOn Axiom Systems of Pseudo-BCK Algebras
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
متن کاملAxiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
In this work we investigate infinite structures. We discuss the importance, meaning and temptation of the axiom of choice and equivalent formulations with respect to graph theory, abstract argumentation and dialogue games. Emphasis is put on maximal independent sets in graph theory as well as preferred semantics in abstract argumentation. 1998 ACM Subject Classification G.2.2 Graph Theory, F.4....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2011
ISSN: 0011-4642,1572-9141
DOI: 10.1007/s10587-011-0062-6